The A ected Set Priority Ceiling Protocols for Real-Time Object-Oriented Concurrency Control
نویسندگان
چکیده
This paper presents two concurrency control protocols for real-time object-oriented systems. One of the protocols (A ected Set Priority Ceiling Protocol) is designed for single-node systems, and the other (Distributed A ected Set Priorityt Ceiling Protocol) is designed for distributed systems. Both protocols combine features of semantic concurrency control for added concurrency, with priority ceiling techniques for deadlock prevention and bounding priority inversion. This paper demonstrates the properties of increased concurrency, deadlock prevention, and bounded priority inversion of both protocols. It also describes, for each of the new protocols, an implementation that demonstrates its usefulness in real-time object-oriented systems.
منابع مشابه
Concurrency Control in Real-Time Object-Oriented Systems: The Affected Set Priority Ceiling Protocols
This paper presents the A ected Set Priority Ceiling Protocols (ASPCP) for concurrency control in real-time object-oriented systems. These protocols are based on a combination of semantic locking and priority ceiling techniques. This paper shows that the ASPCP protocols provide higher potential concurrency for object-oriented systems than existing Priority Ceiling protocols, while still boundin...
متن کاملAll Schedules Dynamic
This paper presents the AAected Set Priority Ceiling (ASPC) concurrency control protocol for real-time object-oriented databases. The protocol is based on a combination of a semantic locking technique and priority ceiling techniques. The paper speciies six criteria for real-time concurrency control: high concurrency, deadlock prevention, predictability, temporal consistency enforcement, logical...
متن کاملTowards Priority Ceilings in Object-Based Semantic Real-Time Concurrency Control
This paper shows how priority ceiling techniques can be added to object-based real-time semantic concurrency control. The resulting protocol provides more potential concurrency for real-time object-oriented databases than previous priority ceiling techniques, while alleviating priority inversion and deadlock problems of previous object-based semantic concurrency control techniques. It is also a...
متن کاملA Priority Ceiling Protocol with Dynamic Adjustment of Serialization Order
The difficulties of providing a guarantee of meeting transaction deadlines in hard real-time database systems lie in the problems of priority inversion and of deadlocks. Priority inversion and deadlock problems ensue when concurrency control protocols are adapted in priority-driven scheduling. The blocking delay due to priority inversion can be unbounded, which is unacceptable in the mission-cr...
متن کاملInterruptible Critical Sections for Real-time Systems
In this paper, we present a new approach to synchronization in real-time systems. Existing methods for synchronization in real-time systems are pessimistic, and use blocking to enforce concurrency control. Protocols such as the priority ceiling protocol have been proposed to reduce the priority inversion that occurs when low priority tasks block high priority tasks. However, the priority ceilin...
متن کامل